Reasoning About Vote Counting Schemes Using Light-weight and Heavy-weight Methods
نویسندگان
چکیده
We compare and contrast our experiences in specifying, implementing and verifying the monotonicity property of a simple plurality voting scheme using modern light-weight and heavy-weight verification tools.
منابع مشابه
بررسی اثر وزن اولیه بر بیان ژن IGF-1 در عضله سینه بلدرچین ژاپنی
In the present study the effect of initial weight on IGF-1 gene expression in breast muscle of Japanese quail was investigated using completely randomized design. Two hundred pieces birds were randomly divided into two different groups including light and heavy weight. IGF-1 gene expression levels were measured using the Real time PCR techniques in breast muscle of the Japanese quail at 24...
متن کاملEffects of particle size and weight percentage of heavy metal elements on photon shielding efficiency of reinforced polymer composites
Background: Polymer composites when reinforced with heavy metals in the form of micro/nano particles are efficient gamma- and X-ray shielding materials providing such advantageous features as cost-effectiveness, light-weight factor, flexibility, non-toxicity, conformability over conventional shields. Materials and Methods: In this paper the influence of weight percentages and particle sizes of ...
متن کاملReal-time Context Aware Reasoning in On-board Intelligent Traffic Systems - An Architecture for Ontology-based Reasoning using Finite State Machines
In-vehicle information management is vital in intelligent traffic systems. In this paper we motivate an architecture for ontology-based context-aware reasoning for in-vehicle information management. An ontology is essential for system standardization and communication, and ontology-based reasoning allows context-awareness, inference and advanced reasoning capabilities. However, the amount of co...
متن کاملImplementing Self-upending for lightweight Jackets in Persian Gulf
Steel-structured jacket or template platforms have been extensively installed in Persian Gulf offshore oil & gas fields. For the jackets in the water depth range of 40 meters in this region, utilizing the self-upending concept has been investigated. It has been concluded that designing the light weight jackets, implementing the self-upending process for their installation operations, are econom...
متن کاملAutomated Reasoning in Kleene Algebra
It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. We demonstrate that off-the-shelf automated proof and counterexample search is an interesting alternative if combined with the right domain model. We implement variants of Kleene algebras axiomatically in Prover9/Mace4 and perform proof exp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014